منابع مشابه
On Reliability and Refutability in Nonconstructive Identification
Identification in the limit, originally due to Gold [10], is a widely used computation model for inductive inference and human language acquisition. We consider a nonconstructive extension to Gold’s model. Our current topic is the problem of applying the notions of reliability and refutability to nonconstructive identification. Four general identification situations are defined and two of them ...
متن کاملDeflationism, Conservativeness and Maximality
This schema, restricted in some way in order to avoid the paradoxes, is said to capture the whole content of our intuitive notion of truth. In effect truth is called sometimes a “purely logical” device a predicate devoid of content, which doesn’t express any substantial relation between our language and the world. According to one proposal, conservativeness is a good explication of this “conten...
متن کاملInvariant Maximality and Incompleteness
We present new examples of discrete mathematical statements that can be proved from large cardinal hypotheses but not within the usual ZFC axioms for mathematics (assuming ZFC is consistent). These new statements are provably equivalent to Π1 sentences (purely universal statements, logically analogous to Fermat's Last Theorem) in particular provably equivalent to the consistency of strong set t...
متن کاملMinimizing Maximality
Judgments about the locus of synchronic personal identity are often guided by the intuition that “I” am the thing that thinks, or minimally, that neither my body nor any part of it is a thinker distinct from me. Ted Sider argues in a series of articles that in order to reconcile this intuition with the principle of microphysical supervenience, we must accept ‘being a thinker’ as a maximal prope...
متن کاملMaximality and Plurality
This paper investigates the notion of the maximality effect and its formal implementation. It will be shown that the maximal witness sets that an anaphor can access are sensitive to the plural readings of the anaphor’s antecedents. It will also be shown that the formal semantics of the maximality effect should not be implemented on the interpretation of either determiners or anaphors. Instead, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2004
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1095386644